下图所示为两个有限自动机M1和M2 (A是初态、C是终态)，( )。